Object-oriented programming languages - PDFSEARCH.IO - Document Search Engine

Object-oriented programming languages
Results: 972

#	Item
571	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
572	Foundations of Aspect-Oriented Languages (FOAL) Modularity 2015 Recent Developments in Context-oriented Programming (at HPI) Robert Hirschfeld Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:27 Programming paradigms Aspect-oriented software development Object-oriented programming Aspect-oriented programming Pascal Costanza Cross-platform software Scope C Layer Software engineering Computing Software development
573	!1 Copyright © 2013, Oracle and/or its affiliates. All rights reserved. Insert Information Protection Policy Classification from Slide 12 VMs I Have Known Add to Reading List Source URL: www.dynamic-languages-symposium.org Language: English - Date: 2014-12-23 09:57:59 Smalltalk Oracle Corporation Oracle Database Virtual machine Self Copyright Oracle Visual Smalltalk Enterprise Computing Software engineering Object-oriented programming
574	The VIVIDE Programming Environment Connecting Run-time Information With Programmers’ System Knowledge Marcel Taeumel Bastian Steinert Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:48 Computer programming Procedural programming languages Scripting languages Aspect-oriented software development Programmer Source code JavaScript Object-oriented programming Test-driven development Computing Software Cross-platform software
575	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-16 04:52:13 Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering Object-oriented programming Formal methods
576	Computer Programming using GNU Smalltalk Canol Gökel Add to Reading List Source URL: vision.middlebury.edu Language: English - Date: 2012-07-24 11:22:56 Scripting languages Smalltalk Self C Visual programming languages Object-oriented programming VisualWorks Software engineering Computer programming Computing
577	Paradyn Parallel Performance Tools PatchAPI Programmer’s Guide 8.2 Release Aug 2014 Add to Reading List Source URL: www.paradyn.org Language: English - Date: 2014-08-19 15:19:30 Object-oriented programming Procedural programming languages Programming paradigms Snippet Source code Application programming interface Max C++ classes Iterator Software engineering Computing Computer programming
578	Extending a Java Virtual Machine to Dynamic Object-oriented Languages Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:42 University of Potsdam Java virtual machine Squeak Virtual machine Java Smalltalk Object-oriented programming Object model Bytecode Computing Software Cross-platform software
579	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets, © JOT 2011 Online at http://www.jot.fm. CSOM/PL A Virtual Machine Product Line Add to Reading List Source URL: www.jot.fm Language: English - Date: 2011-11-15 03:51:46 Cross-platform software Programming paradigms Holism Scripting languages Object-oriented programming Virtual machine Smalltalk Modularity Green threads Computing Software engineering Software
580	Glendale Project: Benchmarks Hesam Samimi,Yoshiki Ohshima, Todd Millstein, Alan Borning VPRI Research Note RN Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:35 Object-oriented programming Relational model Query languages Mathematical notation Tuple Type theory Finitary relation Relation Object Computing Notation Mathematics

UPDATE